From 3f18fe3f4680709166e09f308fd9e56aff6f48aa Mon Sep 17 00:00:00 2001 From: addshore Date: Wed, 25 Oct 2017 10:04:25 +0100 Subject: [PATCH] HistoryPager: Add missing $tagFilter property Change-Id: Iec2d944d5583eb13fa9383c0a6a183b550f60aab --- includes/actions/HistoryAction.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/includes/actions/HistoryAction.php b/includes/actions/HistoryAction.php index fe84852403..a9a504d13a 100644 --- a/includes/actions/HistoryAction.php +++ b/includes/actions/HistoryAction.php @@ -385,6 +385,9 @@ class HistoryPager extends ReverseChronologicalPager { /** @var bool Whether to show the tag editing UI */ protected $showTagEditUI; + /** @var string */ + private $tagFilter; + /** * @param HistoryAction $historyPage * @param string $year -- 2.20.1